Logic of algorithms
Synonyms for "logic of algorithms" (19 found)
Ranked by relevance and common usage.
Closest matches (4)
Noun(4 words)
algorithm logicalgorithm verificationalgorithmic logicbranching logic
Strong matches (6)
Noun(6 words)
composed ofconcerningconditional logic in algorithmsconsisting ofcontrol logicdecision logic for algorithms
Related words (9)
Noun(9 words)
formal logic of algorithmsformal verification for algorithmslogic for algorithmsmade ofpertaining toproof based verificationrelating totheoretical algorithm logicverification of algorithms
Related word relations
OpenGloss and ConceptNet supply richer edges like generalizations, collocations, and derivations.
More general
5 entriesMore specific
17 entriesHoare logicalloy of copper tinbranching logiccharacteristic ofcontent offabric of woolloop invariantsloop logicmodel checkingorigin ofownership ofoxide of copperoxide of ironpredicate logicprogram verificationtheorem proving
Showing 16 of 17 words.
Collocations
12 entriesHoare logicalgorithmic logiccomplexity analysisdefinition offormal verificationmeasure oforigin ofpart ofprogram logicproof of correctnessquantity ofsubset of
Inflections
1 entrieslogics of algorithms